Virtual method table - PDFSEARCH.IO - Document Search Engine

Virtual method table
Results: 100

#	Item
11	Machine-checked object layout for C++ multiple inheritance with empty-base optimization Tahina Ramananandro http://gallium.inria.fr/~tramanan/cpp/object-layout Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2010-08-06 15:57:44 C++ C programming language C++ classes Struct Sizeof Pointer Virtual method table ALGOL 68 Typedef Computer programming Software engineering Computing
12	Abstract Interface Types in GNAT: Conversions, Discriminants, and C++ Javier Miranda1 and Edmond Schonberg2 1 Add to Reading List Source URL: www.adacore.com Language: English - Date: 2011-12-15 13:52:58 Object-oriented programming Virtual method table Pointer Q Thunk Objective-C Interface Ada Virtual function Software engineering Computing Computer programming
13	17 8 Towards Certification of Object-Oriented Code with the GNAT Compiler Javier Miranda Instituto Universitario de Microelectrónica Aplicada. Universidad de Las Palmas de Gran Canaria, Canary Add to Reading List Source URL: www.adacore.com Language: English - Date: 2011-08-29 18:36:08 Object-oriented programming Virtual method table Ada Dynamic dispatch C++ Objective-C Pointer Java Thunk Software engineering Computing Computer programming
14	Formal Verification of Object Layout for C++ Multiple Inheritance Tahina Ramananandro Gabriel Dos Reis ∗ Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2010-11-09 03:50:06 C++ Object-oriented programming C programming language Cross-platform software Procedural programming languages C++ classes Virtual function Virtual method table C++11 Software engineering Computing Computer programming
15	Formal Verification of Object Layout for C++ Multiple Inheritance Tahina Ramananandro Gabriel Dos Reis ∗ Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2010-11-09 03:50:06 C++ Object-oriented programming C programming language Cross-platform software Procedural programming languages C++ classes Virtual function Virtual method table C++11 Software engineering Computing Computer programming
16	DANGLING POINTER SMASHING THE POINTER FOR FUN AND PROFIT JONATHAN AFEK ADI SHARABANI A whitepaper from Watchfire Add to Reading List Source URL: www.blackhat.com Language: English - Date: 2014-12-16 19:06:37 C++ Software bugs Data types Primitive types Pointer Dangling pointer C Virtual method table Buffer overflow Software engineering Computing Computer programming
17	Bare Blocks with a Thin Object Table: An Object Memory for Cola Ted Kaehler VPRI Memo Ma Viewpoints Research Institute, 1209 Grand Central Avenue, Glendale, CAt: (f: ( Add to Reading List Source URL: www.vpri.org Language: English - Date: 2015-01-21 19:14:35 Memory management Data types Object-oriented programming Primitive types Garbage collection Virtual method table Pointer Object New Computing Software engineering Computer programming
18	AHNLAB 조주봉(silverbug) Android  Add to Reading List Source URL: powerofcommunity.net Language: English - Date: 2010-12-06 03:29:59 System software Java virtual machine Dalvik Embedded Linux Smartphones Object-oriented programming APK Java Virtual method table Computing Software Android
19	Precision in Practice: A Type-Preserving Java Compiler? Christopher League1 , Zhong Shao2 , and Valery Trifonov2 1 Long Island University · Computer Science Add to Reading List Source URL: contrapunctus.net Language: English - Date: 2012-03-13 13:00:12 Object-oriented programming Type theory Data types Cross-platform software Functional programming Java Virtual method table Type system Pointer Software engineering Computing Computer programming
20	VTint: Protecting Virtual Function Tables’ Integrity Chao Zhang∗ , Chengyu Song‡ , Kevin Zhijie Chen∗ , Zhaofeng Chen† , Dawn Song∗ ∗ University of California, Berkeley {chaoz, kevinchn, dawnsong}@cs.berkel Add to Reading List Source URL: www.internetsociety.org Language: English - Date: 2015-02-07 13:00:50 Object-oriented programming Virtual method table Data types Software bugs Select Pointer Buffer overflow protection Dynamic-link library Fortran Computing Software engineering Computer programming